positive real function

正实函数